61. Number Theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Field theory (Physics). ; Algebra. ; Computer science ; Mathematics. ; Algorithms. ; Number theory. ; Mathematics. ; Number Theory. ; Algorithms. ; Field Theory and Polynomials. ; Computational Mathematics and Numerical Analysis. ; Order, L
62. Number theoretic and algebraic methods in computer science: proceedings of the international conference, Moscow, June/July 1993
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Number theory,Congresses ، Algebra,Congresses ، Computer science-- Mathematics
رده :
QA
241
.
N84
1995
63. Ordered Sets
پدیدآورنده: edited by Ivan Rival.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Computer science.
64. Probabilistic Methods for Algorithmic Discrete Mathematics
پدیدآورنده: edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
65. Process Algebra for Parallel and Distributed Processing
پدیدآورنده:
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,، Science
66. Progress in applications of boolean functions /
پدیدآورنده: Tsutomu Sasao, Jon T. Butler [editors].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra, Boolean.,Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Data mining-- Mathematics.,Logic circuits-- Mathematics.,Algebra, Boolean.,Cryptography-- Mathematics.,MATHEMATICS-- Algebra-- General.
رده :
QA10
.
3
67. Relational methods in computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Congresses. ; Relationism ; Congresses. ; Algebra ; Computer programs ; Congresses. ; Relation algebras ; Congresses. ;
68. Relational methods in computer science
پدیدآورنده: / Wendy MacCaull, Michael Winter, Ivo D?�ntsch (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Congresses,Relationism--Congresses,Algebra--Computer programs--Congresses,Relation algebras--Congresses
رده :
QA
,
76
,.
R437
,
2005
69. Resolution Proof Systems :
پدیدآورنده: by Zbigniew Stachniak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing.,Artificial intelligence.,Computer science.
رده :
QA76
.
9
.
A96
B993
1996
70. Sensation and Measurement :
پدیدآورنده: edited by Howard R. Moskowitz, Bertram Scharf, Joseph C. Stevens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.
رده :
QP435
.
E358
1974
71. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
72. Symbolic C++ : an introduction to computer algebra using object-oriented programming
پدیدآورنده: Tan, Kiat Shi, 2791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Object-oriented programming )Computer science(,، C++ )Computer program language(,Data processing ، Algebra
رده :
QA
76
.
64
.
T24
2000
73. SymbolicC++: an introduction to computer algebra using object _ Oriented Programming
پدیدآورنده: / Tan kiat shi, Willi_Hans Steeb
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Object _ oriented Programming (Computer Science).,C++ (computer program Language),Algebra _ Data Processing.
رده :
QA76
,.
64
.
T
35
74. Systems of reductions
پدیدآورنده: Benninghofen, Benjamin, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Rewriting systems )Computer science(,Data processing ، Algebra, Universal,، Algorithms
رده :
QA
76
.
L28
Vol
.
277
75. Systems of reductions
پدیدآورنده: Benninghofen, Benjamin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Rewriting systems )Computer science(,Data processing ، Algebra, Universal,، Computer algorithms
رده :
QA
267
.
B46
1987
76. Termersetzungssysteme :
پدیدآورنده: von Klaus Drosten.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Software engineering.
رده :
QA76
.
76
.
R48
V665
1989
77. The Problem of Integrable Discretization: Hamiltonian Approach
پدیدآورنده: by Yuri B. Suris.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Computer science-- Mathematics.,Differentiable dynamical systems.,Mathematics.
78. Theoretical Aspects of Computing - ICTAC 2008
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Algebra -- Data processing,Computer science,Computer software,جبر -- داده‌پردازی,علوم کامپیوتر,نرم‌افزار
رده :
E-Book
,
79. Typed Lambda Calculi and Applications :
پدیدآورنده: edited by Masahito Hasegawa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Logic design.
رده :
QA9
.
5
E358
2013
80. Universal Algebra and Applications in Theoretical Computer Science
پدیدآورنده: / Klaus Denecke, Shelly L. Wismath
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Algebra, Universal.,Computer Science _ Mathematics.
رده :
QA251
.
D
385
